The Need to Support of Data Flow Graph Visualization of Forensic Lucid Programs, Forensic Evidence, and their Evaluation by GIPSY
نویسندگان
چکیده
منابع مشابه
Towards Automatic Deduction and Event Reconstruction Using Forensic Lucid and Probabilities to Encode the IDS Evidence
Introduction. We apply the theoretical framework and formal model of the observation tuple with the credibility weight for forensic analysis of the IDS data and the corresponding event reconstruction. Forensic Lucid – a forensic case modeling and specification language is used for the task. In the ongoing theoretical and practical work, Forensic Lucid is augmented with the Dempster-Shafer theor...
متن کاملA Type System Theory for Higher-Order Intensional Logic Support for Variable Bindings in Hybrid Intensional-Imperative Programs in GIPSY
We describe a type system for a platform called the General Intensional Programming System (GIPSY), designed to support intensional programming languages built upon intensional logic and their imperative counter-parts for the intensional execution model. In GIPSY, the type system glues the static and dynamic typing between intensional and imperative languages in its compiler and runtime environ...
متن کاملEvaluation of Methadone Consumption Rate Based on Post-mortem Toxicology Examinations in Cases of Drug-related Deaths in Iran: 2015-2017
Background: Given the increasing prevalence of methadone overdose and the growing number of deaths in Iran, the present study was conducted to determine the mortality rate of methadone detected in the cadavers brought to the Forensic Medicine Organization between 2015 and 2017. Methods: This cross-sectional study was performed on 7,486 cases of substance abuse deaths registered in the Forensic...
متن کاملEncoding Forensic Multimedia Evidence from MARF Applications as Forensic Lucid Expressions
In this work we summarize biometric evidence as well as file type evidence extraction “exported” as formal Forensic Lucid language expression in the form of higher-order intensional contexts for further case analysis by a system that interprets Forensic Lucid expressions for claim verification and event reconstruction. The digital evidence is exported from the Modular Audio Recognition Framewor...
متن کاملEvaluation of Prothrombin Time in Acute Acetaminophen Overdose treated by N-acetylcysteine
Background: Acetaminophen (N-Acetyl-p aminophenol; APAP) is one of the most common types of analgesics. It is also the most common xneobitic reported to poison centers. This study investigates if therapeutic doses of NAC can falsely increase coagulation tests, prothrombin time (PT) and bleeding time (BT). Methods: Thirty-six APAP poisoned patients whose acetaminophen serum concentration were...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1009.5423 شماره
صفحات -
تاریخ انتشار 2010